Towards a formal model of object-oriented hyperslices

This position paper presents work in progress on a formal model for the composition of object-oriented hyperslices with method-level join points. With the formal model, we should be able to study existing approaches such as subject-oriented programming, as well as extend other object-oriented languages, such as the UML, to accommodate the use of hyperslices. We show here a sample of the specification language that accompanies the formal model, and a small example of its use.